Skip to main content

A Refinement Calculus for Logic Programs

Item Preview

SIMILAR ITEMS (based on metadata)